package org.xteam.sled.model;

public interface ILabelledSequent extends ISequent {

	ILabelledSequent actualize(boolean actualsOk);

}
